KISELYOV, OLEG: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Delimited control in OCaml, abstractly and concretely

Journal:

Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 365 KB

english, 2012

2

Reconciling Abstraction with High Performance: A MetaOCaml approach

Journal:

Foundations and Trends® in Programming Languages

Year:

2018

Language:

english

File:

PDF, 760 KB

english, 2018

3

Lightweight Static Capabilities

Oleg Kiselyov, Chung-chieh Shan

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 400 KB

english, 2007

4

In search of a program generator to implement generic transformations for high-performance computing

Albert Cohen, Sébastien Donadio, Maria-Jesus Garzaran, Christoph Herrmann, Oleg Kiselyov, David Padua

Journal:

Science of Computer Programming

Year:

2006

Language:

english

File:

PDF, 510 KB

english, 2006

5

Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code

Jacques Carette, Oleg Kiselyov

Journal:

Science of Computer Programming

Year:

2011

Language:

english

File:

PDF, 818 KB

english, 2011

6

Implementing Metcast in Scheme

Journal:

Higher-Order and Symbolic Computation

Year:

2005

Language:

english

File:

PDF, 2.05 MB

english, 2005

7

Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages

CARETTE, JACQUES, KISELYOV, OLEG, SHAN, CHUNG-CHIEH

Journal:

Journal of Functional Programming

Year:

2009

Language:

english

File:

PDF, 610 KB

english, 2009

8

Polyalkoxybenzenes from Plants. 5. Parsley Seed Extract in Synthesis of Azapodophyllotoxins Featuring Strong Tubulin Destabilizing Activity in the Sea Urchin Embryo and Cell Culture Assays

Semenova, Marina N., Kiselyov, Alex S., Tsyganov, Dmitry V., Konyushkin, Leonid D., Firgang, Sergei I., Semenov, Roman V., Malyshev, Oleg R., Raihstat, Mikhail M., Fuchs, Fabian, Stielow, Anne, Lantow

Journal:

Journal of Medicinal Chemistry

Year:

2011

Language:

english

File:

PDF, 2.05 MB

english, 2011

9

[ACM Press the first ACM SIGPLAN symposium - Victoria, BC, Canada (2008.09.25-2008.09.25)] Proceedings of the first ACM SIGPLAN symposium on Haskell - Haskell '08 - Lightweight monadic regions

Kiselyov, Oleg, Shan, Chung-chieh

Year:

2008

Language:

english

File:

PDF, 211 KB

english, 2008

10

[ACM Press the third ACM SIGPLAN international conference - Baltimore, Maryland, United States (1998.09.26-1998.09.29)] Proceedings of the third ACM SIGPLAN international conference on Functional programming - ICFP '98 - Functional style in C++

Year:

1998

Language:

english

File:

PDF, 113 KB

english, 1998

11

Combinators for impure yet hygienic code generation

Kameyama, Yukiyoshi, Kiselyov, Oleg, Shan, Chung-chieh

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 688 KB

english, 2015

12

Not So Western After All

Kiselyov, Sergei, Strekal, Oleg

Journal:

Bulletin of the Atomic Scientists

Year:

1994

Language:

english

File:

PDF, 2.23 MB

english, 1994

13

Ultrasonic approach to obtaining partial thermodynamic characteristics of solutions

Dmitry A. Tikhonov, Oleg E. Kiselyov, Armen P. Sarvazyan, Gari N. Sarkisov

Journal:

Year:

1995

Language:

english

File:

PDF, 1.08 MB

english, 1995

14

[ACM Press the ACM SIGPLAN workshop - Snowbird, Utah, USA (2004.09.22-2004.09.22)] Proceedings of the ACM SIGPLAN workshop on Haskell - Haskell '04 - Strongly typed heterogeneous collections

Kiselyov, Oleg, Lämmel, Ralf, Schupke, Keean

Year:

2004

Language:

english

File:

PDF, 159 KB

english, 2004

15

Functional un|unparsing

Kenichi Asai, Oleg Kiselyov, Chung-chieh Shan

Journal:

Higher-Order and Symbolic Computation

Year:

2011

Language:

english

File:

PDF, 899 KB

english, 2011

16

[ACM Press the ACM SIGPLAN 2014 Workshop - San Diego, California, USA (2014.01.20-2014.01.21)] Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation - PEPM '14 - Combinators for impure yet hygienic code generation

Kameyama, Yukiyoshi, Kiselyov, Oleg, Shan, Chung-chieh

Year:

2014

Language:

english

File:

PDF, 563 KB

english, 2014

17

Editorial PEPM2012

Kiselyov, Oleg, Lawall, Julia, Thompson, Simon

Journal:

Higher-Order and Symbolic Computation

Year:

2012

Language:

english

File:

PDF, 165 KB

english, 2012

18

A lazy CGI namespace in Scheme

Journal:

ACM SIGPLAN Notices

Year:

1999

Language:

english

File:

PDF, 110 KB

english, 1999

19

Comparative in vivo evaluation of polyalkoxy substituted 4H-chromenes and oxa-podophyllotoxins as microtubule destabilizing agents in the phenotypic sea urchin embryo assay

Semenova, Marina N., Tsyganov, Dmitry V., Malyshev, Oleg R., Ershov, Oleg V., Bardasov, Ivan N., Semenov, Roman V., Kiselyov, Alex S., Semenov, Victor V.

Journal:

Bioorganic & Medicinal Chemistry Letters

Year:

2014

Language:

english

File:

PDF, 620 KB

english, 2014

20

Erratum to “Comparative in vivo evaluation of polyalkoxy substituted 4H-chromenes and oxa-podophyllotoxins as microtubule destabilizing agents in the phenotypic sea urchin embryo assay” [Bioorg. Med. Chem. Lett. 24 (2014) 3914–3918]

Semenova, Marina N., Tsyganov, Dmitry V., Malyshev, Oleg R., Ershov, Oleg V., Bardasov, Ivan N., Semenov, Roman V., Kiselyov, Alex S., Semenov, Victor V.

Journal:

Bioorganic & Medicinal Chemistry Letters

Year:

2015

Language:

english

File:

PDF, 223 KB

english, 2015

21

Purely functional lazy nondeterministic programming

FISCHER, SEBASTIAN, KISELYOV, OLEG, SHAN, CHUNG-CHIEH

Journal:

Journal of Functional Programming

Year:

2011

Language:

english

File:

PDF, 415 KB

english, 2011

22

Shifting the stage

KAMEYAMA, YUKIYOSHI, KISELYOV, OLEG, SHAN, CHUNG-CHIEH

Journal:

Journal of Functional Programming

Year:

2011

Language:

english

File:

PDF, 1.00 MB

english, 2011

23

[ACM Press the fourth ACM international conference - Pisa, Italy (2004.09.27-2004.09.29)] Proceedings of the fourth ACM international conference on Embedded software - EMSOFT '04 - A methodology for generating verified combinatorial circuits

Kiselyov, Oleg, Swadi, Kedar N., Taha, Walid

Year:

2004

Language:

english

File:

PDF, 99 KB

english, 2004

24

[ACM Press the 2008 ACM SIGPLAN symposium - San Francisco, California, USA (2008.01.07-2008.01.08)] Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '08 - Closing the stage

Kameyama, Yukiyoshi, Kiselyov, Oleg, Shan, Chung-chieh

Year:

2008

Language:

english

File:

PDF, 251 KB

english, 2008

25

[ACM Press the 2009 ACM SIGPLAN workshop - Savannah, GA, USA (2009.01.19-2009.01.20)] Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation - PEPM '09 - Shifting the stage

Kameyama, Yukiyoshi, Kiselyov, Oleg, Shan, Chung-chieh

Year:

2008

Language:

english

File:

PDF, 455 KB

english, 2008

26

[ACM Press the ACM SIGPLAN workshop - Snowbird, Utah, USA (2004.09.22-2004.09.22)] Proceedings of the ACM SIGPLAN workshop on Haskell - Haskell '04 - Functional pearl

Kiselyov, Oleg, Shan, Chung-chieh

Year:

2004

Language:

english

File:

PDF, 141 KB

english, 2004

27

[ACM Press the first ACM SIGPLAN symposium - Victoria, BC, Canada (2008.09.25-2008.09.25)] Proceedings of the first ACM SIGPLAN symposium on Haskell - Haskell '08 - Comparing libraries for generic programming in haskell

Rodriguez, Alexey, Jeuring, Johan, Jansson, Patrik, Gerdes, Alex, Kiselyov, Oleg, Oliveira, Bruno C. d. S.

Year:

2008

Language:

english

File:

PDF, 248 KB

english, 2008

28

Comparing libraries for generic programming in haskell

Rodriguez, Alexey, Jeuring, Johan, Jansson, Patrik, Gerdes, Alex, Kiselyov, Oleg, Oliveira, Bruno C. d. S.

Journal:

ACM SIGPLAN Notices

Year:

2009

Language:

english

File:

PDF, 248 KB

english, 2009

29

[ACM Press the 14th ACM SIGPLAN international conference - Edinburgh, Scotland (2009.08.31-2009.09.02)] Proceedings of the 14th ACM SIGPLAN international conference on Functional programming - ICFP '09 - Purely functional lazy non-deterministic programming

Fischer, Sebastian, Kiselyov, Oleg, Shan, Chung-chieh

Year:

2009

Language:

english

File:

PDF, 422 KB

english, 2009

30

[ACM Press the ACM SIGPLAN 2013 workshop - Rome, Italy (2013.01.21-2013.01.21)] Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation - PEPM '13 - Shonan challenge for generative programming

Aktemur, Baris, Kameyama, Yukiyoshi, Kiselyov, Oleg, Shan, Chung-chieh

Year:

2013

Language:

english

File:

PDF, 515 KB

english, 2013

31

[ACM Press the third ACM SIGPLAN international conference - Baltimore, Maryland, United States (1998.09.26-1998.09.29)] Proceedings of the third ACM SIGPLAN international conference on Functional programming - ICFP '98 - LAND*

Year:

1998

Language:

english

File:

PDF, 89 KB

english, 1998

32

[ACM Press the third ACM SIGPLAN international conference - Baltimore, Maryland, United States (1998.09.26-1998.09.29)] Proceedings of the third ACM SIGPLAN international conference on Functional programming - ICFP '98 - A delegation language to request weather products and a scheme of its interpretation

Year:

1998

Language:

english

File:

PDF, 125 KB

english, 1998

33

[ACM Press the third ACM SIGPLAN international conference - Baltimore, Maryland, United States (1998.09.26-1998.09.29)] Proceedings of the third ACM SIGPLAN international conference on Functional programming - ICFP '98 - A lazy CGI namespace in Scheme

Year:

1998

Language:

english

File:

PDF, 110 KB

english, 1998

34

[ACM Press the 2014 ACM SIGPLAN symposium - Gothenburg, Sweden (2014.09.04-2014.09.05)] Proceedings of the 2014 ACM SIGPLAN symposium on Haskell - Haskell '14 - Reflection without remorse

Ploeg, Atze van der, Kiselyov, Oleg

Year:

2014

Language:

english

File:

PDF, 560 KB

english, 2014

35

LAND*

Journal:

ACM SIGPLAN Notices

Year:

1999

Language:

english

File:

PDF, 89 KB

english, 1999

36

Freer monads, more extensible effects

Kiselyov, Oleg, Ishii, Hiromi

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 342 KB

english, 2015

37

[ACM Press the 2016 ACM SIGPLAN Workshop - St. Petersburg, FL, USA (2016.01.18-2016.01.19)] Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation - PEPM 2016 - Staging beyond terms: prospects and challenges

Inoue, Jun, Kiselyov, Oleg, Kameyama, Yukiyoshi

Year:

2016

Language:

english

File:

PDF, 205 KB

english, 2016

38

[Lecture Notes in Computer Science] Functional and Logic Programming Volume 9613 || Incremental Computing with Abstract Data Structures

Kiselyov, Oleg, King, Andy

Year:

2016

Language:

english

File:

PDF, 625 KB

english, 2016

39

[ACM Press the 2016 ACM SIGPLAN Workshop - St. Petersburg, FL, USA (2016.01.18-2016.01.19)] Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation - PEPM 2016 - Finally, safely-extensible and efficient language-integrated query

Suzuki, Kenichi, Kiselyov, Oleg, Kameyama, Yukiyoshi

Year:

2016

Language:

english

File:

PDF, 480 KB

english, 2016

40

Backtracking, interleaving, and terminating monad transformers

Kiselyov, Oleg, Shan, Chung-chieh, Friedman, Daniel P., Sabry, Amr

Journal:

ACM SIGPLAN Notices

Year:

2005

Language:

english

File:

PDF, 150 KB

english, 2005

41

SPIE Proceedings [SPIE International Conference on Correlation Optics - Chernivtsy, Ukraine (Tuesday 11 May 1999)] Fourth International Conference on Correlation Optics - Immunoassay control method based on light scattering

Bilyi, Olexander I., Kiselyov, Eugene M., Petrina, R. O., Ferensovich, Yaroslav P., Yaremyk, Roman Y., Angelsky, Oleg V.

Year:

1999

Language:

english

File:

PDF, 193 KB

english, 1999

42

Lightweight monadic regions

Kiselyov, Oleg, Shan, Chung-chieh

Journal:

ACM SIGPLAN Notices

Year:

2009

Language:

english

File:

PDF, 211 KB

english, 2009

43

Functional style in C++

Journal:

ACM SIGPLAN Notices

Year:

1999

Language:

english

File:

PDF, 113 KB

english, 1999

44

Purely functional lazy non-deterministic programming

Fischer, Sebastian, Kiselyov, Oleg, Shan, Chung-chieh

Journal:

ACM SIGPLAN Notices

Year:

2009

Language:

english

File:

PDF, 422 KB

english, 2009

45

SXML specification

Journal:

ACM SIGPLAN Notices

Year:

2002

Language:

english

File:

PDF, 541 KB

english, 2002

46

A delegation language to request weather products and a scheme of its interpretation

Journal:

ACM SIGPLAN Notices

Year:

1999

Language:

english

File:

PDF, 125 KB

english, 1999

47

[ACM Press the 2017 ACM SIGPLAN Workshop - Paris, France (2017.01.16-2017.01.17)] Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation - PEPM 2017 - Language-integrated query with ordering, grouping and outer joins (poster paper)

Katsushima, Tatsuya, Kiselyov, Oleg

Year:

2017

Language:

english

File:

PDF, 297 KB

english, 2017

48

[ACM Press the 1st International Workshop - Nara, Japan (2016.09.18-2016.09.18)] Proceedings of the 1st International Workshop on Type-Driven Development - TyDe 2016 - Parameterized extensible effects and session types (extended abstract)

Year:

2016

Language:

english

File:

PDF, 193 KB

english, 2016

49

Stream fusion, to completeness

Kiselyov, Oleg, Biboudis, Aggelos, Palladinos, Nick, Smaragdakis, Yannis

Journal:

ACM SIGPLAN Notices

Year:

2017

Language:

english

File:

PDF, 376 KB

english, 2017

50

Preface

Kiselyov, Oleg, King, Andy

Journal:

Science of Computer Programming

Year:

2018

Language:

english

File:

PDF, 133 KB

english, 2018

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски